Parallel processing: The transputer and occam.

The transputer implementation of occam

Correctness of Compiling Occam to Transputer Code

This paper contributes to the development of a rigorous mathematical framework for the study of provably correct compilation techniques. The proposed method is developed through an implementation of a real{life non{toy imperative programming language with nondeterminism and parallelism { namely Occam { to a commercial machine, namely the Transputer. We provide a mathematical deenition of the Tr...

Occam-light { a Multiparadigm Programming Language for Transputer Networks

Parallel Processing on a Transputer-based Graphics Board

One of these tasks is a process called "transformer" that transforms the Objects defined in Real World coordinates into viewing coordinates (Image Space) according to the viewing position and direction. Objects are represented by planar and convex polygons. In this way the viewing transformation of objects is reduced to the transformation of points, namely the vertices of the polygons. The tran...

Video Processing in occam-pi

The occam-π language provides many novel features for concurrent software development. This paper describes a video processing framework that explores the use of these features for multimedia applications. Processes are used to encapsulate operations on video and audio streams; mobile data types are used to transfer data between them efficiently, and mobile channels allow the process network to...